181. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
Classification :
QA
76
.
9
.
S88
.
I576
1990
182. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. [CD]
Author: / Alfonso Miola, ed
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: System design -- Congresses,Mathematics -- Data processing Congresses,Numerical analysis -- Data processing Congresses
Classification :
QA76
.
9
.
S88I576
1993
183. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
Author: Jacques Calmet, Carla Limongelli, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
Classification :
QA
76
.
9
.
S88
I576
1996
184. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
Author: John Fitch )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
721
185. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
Author: Jacque Calmet, Carla Limongelli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
1128
186. Design and implementation of symbolic computation systems : International symposium DISCO'93 : proceedings
Author: Alfonso Miola )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
722
187. Design science :
Author: Vladimir Hubka and W. Ernst Eder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Design industriel.
Classification :
TA174
.
V533
1996
188. Disordered Systems and Biological Organization
Author: edited by E. Bienenstock, F. Fogelman Soulié, G. Weisbuch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Medical records -- Data processing.
Classification :
QH313
.
E358
1986
189. Emerging issues in smart learning
Author: Guang Chen, Vive Kumar, Kinshuk, Ronghuai Huang, Siu Cheung Kong, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Classroom environment.,EDUCATION -- Administration -- General.,Education.
Classification :
LB3013
.
G836
9999
190. Empowering learners for life in the digital age :
Author: Don Passey, Rosa Bottino, Cathy Lewin, Eric Sanchez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education-- Data processing, Congresses.,Education-- Data processing.
Classification :
LB1028
.
43
191. Encyclopedia of Computer Science and Technology /
Author: edited by Phillip A. Laplante.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
Classification :
T58
.
5
.
E53
2017
192. Encyclopedia of information technology curriculum integration [electronic resource]
Author: / [edited by] Lawrence A. Tomei
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
Classification :
EB
,
LB1028
.
3
.
E63
2008
193. Enterprise resource planning and business intelligence systems for information quality :
Author: Carlo Caserio, Sara Trucco.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business intelligence.,Business networks-- Italy-- Management.,Enterprise resource planning.,Strategic planning.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business intelligence.,Business mathematics & systems.,Business networks-- Management.,Computer networking & communications.,Enterprise resource planning.,Finance & accounting.,Financial accounting.,Management of specific areas.,Strategic planning.,Italy., 7
Classification :
HD38
.
7
.
C37
2018
194. Error-Control Coding for Data Networks
Author: by Irving S. Reed, Xuemin Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer engineering.,Computer science.,Computer vision.
196. FME 2002 :
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2002
197. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
198. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
199. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
200. Forced migration, human rights and security /
Author: edited by Jane McAd
Library: Library of Islamic Parliament (Tehran)
Subject:
